Merge pull request #1791 from antonio-nino-diaz-arm/an/rk-gic
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Wed, 30 Jan 2019 09:53:07 +0000 (09:53 +0000)
committerGitHub <noreply@github.com>
Wed, 30 Jan 2019 09:53:07 +0000 (09:53 +0000)
rockchip: Fix GICv2 interrupts


Trivial merge